импликация

  • 121функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак + можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние… …

    Словарь терминов логики

  • 122Воробьев, Валерий Владимирович — (р. 28.09.1946) спец. по истории логики; канд. филос. наук. Род. в Полтаве. Окончил филос. ф т МГУ (1975) и асп. по кафедре логики там же (1978). Работал на той же кафедре асс., ст. преп., доц. С 1994 зам. нач. Управления гуманитар, образования… …

    Большая биографическая энциклопедия

  • 123Зайцев, Дмитрий Владимирович — (р. 21.02.1962) спец. по логике; канд. филос. наук. Род. в Москве. Окончил филос. ф т МГУ (1988), асп. филос. ф та (1991). Канд. дисс. "Релевантная логика и социология: семантические проблемы" (1991). С 1991 работает на кафедре логики… …

    Большая биографическая энциклопедия

  • 124Дедукция — (от лат. deductio выведение)         переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к …

    Большая советская энциклопедия

  • 125Квантор — (от лат. quantum сколько)         логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… …

    Большая советская энциклопедия

  • 126Метатеория — (от Мета...)         теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …

    Большая советская энциклопедия

  • 127Положительная логика —         логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых… …

    Большая советская энциклопедия

  • 128ГЕМПЕЛЬ — (Hempel) Карл Густав (1905 1997) немецкий логик и философ науки, представитель неопозитивизма. Член Общества эмпирической философии (Берлин), участник Венского кружка. В 1934 эмигрировал в Бельгию, позднее в США (1937). Основные труды: ‘Мотивы и… …

    История Философии: Энциклопедия

  • 129КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …

    История Философии: Энциклопедия

  • 130ЛУКАСЕВИЧ — (Lukasiewicz) Ян (1878 1956) польский логик и философ, профессор Львовского и Варшавского университетов (1915 1939), с 1949 Дублинского униврситета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики …

    Новейший философский словарь

  • 131МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… …

    Энциклопедия культурологии

  • 132АНАЛИТИЧЕСКИЕ И СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ — Аналитические суждения (А.с.) суждения, истинность которых устанавливается без обращения к действительности посредством логико семантического анализа их компонентов; синтетические суждения (С.с.) суждения, истинность которых устанавливается… …

    Философская энциклопедия

  • 133ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …

    Философская энциклопедия

  • 134ДВУЗНАЧНОСТИ ПРИНЦИП — принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т.е. имеет одно из двух возможных истинностных значений «истинно» и «ложно». Этот принцип лежит в основе классической логики, которую называют также двузначной… …

    Философская энциклопедия

  • 135ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …

    Философская энциклопедия

  • 136ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …

    Философская энциклопедия

  • 137МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… …

    Философская энциклопедия

  • 138НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …

    Философская энциклопедия

  • 139ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …

    Философская энциклопедия

  • 140ПРИЧИННОСТИ ЛОГИКА — раздел современной логики, занимающийся исследованием структуры и логических отношений высказываний о причинных связях явлений (каузальных высказываний). Понятие причинности одно из центральных как в науке, так и в философии науки. Причинная… …

    Философская энциклопедия